\begin{tabbing}
R{-}possible\=\{i:l\}\+
\\[0ex]($R$; ${\it es}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=R{-}Feasible\=\{i:l\}\+\+
\\[0ex]($R$)
\-\\[0ex]\& (\=$\exists$$w$:world\{i:l\}, $p$:fair{-}fifo\{i:l\}($w$).\+
\\[0ex]possible{-}world\{i:l\}([[$R$]]; $w$) \& ${\it es}$ $=$ w{-}es\{i:l\}($w$; $p$) $\in$ ES\{i\})
\-\-
\end{tabbing}